Project-Team:TASC

Project-Team Tasc

Members

Overall Objectives

Objectives of the team

Research Program

Application Domains

Highlights of the Year

New Software and Platforms

New Results

Bilateral Contracts and Grants with Industry

Partnerships and Cooperations

Dissemination

Bibliography

Inria | Raweb 2015 | Presentation of the Project-Team TASC


	PDF	e-Pub

previous

Home | Next next

next

Section: New Results

IBEX

The development of the Ibex library has continued. The main developments in 2015 are:

the complete refactoring of the multi-heap internal structure used for search space exploration in the global optimizer
the creation of a new module for explicit set (or pavings) manipulation/algebra with full documentation and tutorial

previous

Home | Next next

next